1

A program transformation from equational programs into logic programs

Year:
1987
Language:
english
File:
PDF, 1.31 MB
english, 1987
5

On Self-Learning Systems

Year:
1973
Language:
english
File:
PDF, 812 KB
english, 1973
17

A unified analysis of steady state behavior in random access schemes

Year:
1985
Language:
english
File:
PDF, 779 KB
english, 1985
19

Effect of propagation delays on ALOHA systems

Year:
1986
Language:
english
File:
PDF, 638 KB
english, 1986
23

Fault tolerant cellular automata

Year:
1975
Language:
english
File:
PDF, 528 KB
english, 1975
24

The amalgamation of automata

Year:
1977
Language:
english
File:
PDF, 724 KB
english, 1977
27

An equivalence in lotos and its decision method

Year:
1991
Language:
english
File:
PDF, 801 KB
english, 1991
28

A new device for simple chain cystography

Year:
1990
Language:
english
File:
PDF, 426 KB
english, 1990
45

Completeness of temporal and spatial logic ETSL

Year:
1987
Language:
english
File:
PDF, 969 KB
english, 1987
46

Protocol Implementation Support System and Its User Interface

Year:
1988
Language:
english
File:
PDF, 617 KB
english, 1988
47

Construction of a protocol synthesis environment and its implementation

Year:
1990
Language:
english
File:
PDF, 961 KB
english, 1990
50

Toward a highly intelligent communication

Year:
1986
Language:
english
File:
PDF, 90 KB
english, 1986